🇬🇧 en de 🇩🇪

Gödel's incompleteness theorem properNoun

  • (logic, mathematics) Either of two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
 Gödelscher Unvollständigkeitssatz
Wiktionary Links